Abstract: "Recently, some researchers found that the previous formalisms of nonmonotonic reasoning such as predicate circumspection or default logic are not enough to capture some commonsense reasoning. We believe that the cause of the problems is because those formalism[s] cannot represent the...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Satō, Ken (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Tokyo, Japan 1988
Schriftenreihe:	Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 440
Schlagworte:	Logic programming Reasoning
Zusammenfassung:	Abstract: "Recently, some researchers found that the previous formalisms of nonmonotonic reasoning such as predicate circumspection or default logic are not enough to capture some commonsense reasoning. We believe that the cause of the problems is because those formalism[s] cannot represent the preference order in those problems which human possesses. In this paper, we give a formalism of nonmonotonic reasoning by defining a meta-language to represent preference order over interpretations of second-order language and translating it to the second-order language to provide a proof theory. By this formalism, we can express broader classes of preferences over interpretations and infer results syntactically by the second-order sentences of its translation We first define the model-theoretic meta-language to express relations over interpretations and show how to translate expression in meta-language into second-order language. Then we show some examples of formalism of nonmonotonic reasoning. Finally, we discuss the limitations of our framework in two aspects, that is, reasoning of inequality and conditional probability.
Beschreibung:	25 S.