Journal ArticleDOI
Multilanguage hierarchical logics, or: how we can do without modal logics
Reads0
Chats0
TLDR
A class of ML systems which use a hierarchy of first-order languages, each language containing names for the language below, are introduced and it is proved that the set of theorems of the most common modal logics can be embedded into that of the corresponding ML systems.About:
This article is published in Artificial Intelligence.The article was published on 1994-01-02. It has received 387 citations till now. The article focuses on the topics: T-norm fuzzy logics & Normal modal logic.read more
Citations
More filters
Journal ArticleDOI
Automated Negotiation: Prospects, Methods and Challenges
Journal ArticleDOI
Agents that Reason and Negotiate by Arguing
TL;DR: A framework, based upon a system of argumentation, which permits agents to negotiate in order to establish acceptable ways of solving problems and describes a case study of this relationship for a particular class of architectures (namely those for belief-desire-intention agents).
Journal ArticleDOI
Local Models Semantics, or contextual reasoning=locality+compatibility☆
TL;DR: In this article, a new semantics, called Local Models Semantics, is proposed to provide a foundation for reasoning with contexts, which captures and makes precise the two main intuitions underlying contextual reasoning: (i) reasoning is mainly local and uses only part of what is potentially available (e.g., what is known, the available inference procedures), this part is what we call context; however, there is compatibility among the reasoning performed in different contexts.
Dissertation
The proof theory and semantics of intuitionistic modal logic
TL;DR: This thesis investigates the intuitionistic modal logics that arise when the semantic definitions in the ordinary meta-theory of informal classical mathematics are interpreted in an intuitionistic meta- theory that no longer satisfy certain intuitionistically invalid principles.
Book ChapterDOI
C-OWL: contextualizing ontologies
TL;DR: This paper shows how ontologies can be contextualized, thus acquiring certain useful properties that a pure shared approach cannot provide, and develops Context OWL (C-OWL), a language whose syntax and semantics have been obtained by extending the OWLntax and semantics to allow for the representation of contextual ontologies.
References
More filters
Book ChapterDOI
Some philosophical problems from the standpoint of artificial intelligence
TL;DR: In this paper, the authors consider the problem of reasoning about whether a strategy will achieve a goal in a deterministic world and present a method to construct a sentence of first-order logic which will be true in all models of certain axioms if and only if a certain strategy can achieve a certain goal.
Journal ArticleDOI
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
Proceedings Article
Notes on formalizing context
TL;DR: These notes discuss formalizing contexts as first class objects, proposing a single language with all the desired capabilities to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess.
Journal ArticleDOI
Belief, awareness, and limited reasoning
Ronald Fagin,Joseph Y. Halpern +1 more
TL;DR: In these logics, the set of beliefs of an agent does not necessarily contain all valid formulas, which makes them more suitable than traditional logics for modelling beliefs of humans (or machines) with limited reasoning capabilities.