This paper explores proof-theoretic aspects of hybrid type-logical grammars, a logic combining Lambek grammars with lambda grammars. We prove some basic properties the calculus, such as normalisation and subformula property also present both sequent proof net calculus for In addition to clarifying logical foundations current study opens way variants extensions original system, including but not...

Since its inception, research in the field of Artificial Intelligence (AI) has had a fundamentally logical approach; therefore, discussions have taken place to establish way distinguishing symbolic AI from sub-symbolic AI, basing approach instead on statistical approaches typical machine learning, deep learning or Bayesian networks [...]

Teachers have a big role in developing and improving students' mathematical logical intelligence skills. However, teachers only focus on using package books teaching the classroom. As result, students do not show great attitude of enthusiasm, struggle are unable to think logically, creatively innovatively skills when doing math problems. Therefore, researchers interested creating pocket book ba...

In this paper we investigate the discovery of association rules from a particular kind of images, namely document images. Document images are initially processed to extract both their layout structures and their logical structures. To take into account the inherently spatial nature of the layout structure, a spatial data mining algorithm is applied, which returns spatial association rules. We i...

Advice giving has been long explored in artificial intelligence to build robust learning algorithms. We consider advice giving in relational domains where the noise is systematic. The advice is provided as logical statements that are then explicitly considered by the learning algorithm at every update. Our empirical evidence proves that human advice can effectively accelerate learning in noisy ...

The eld of Arti cial Intelligence (AI) is currently undergoing a transition. While in the eighties, rule-based and logical representations were the representation of choice in the majority of AI systems, in recent years various researchers have explored alternative representational frameworks, which emphasis on frameworks that enable systems to represent and handle uncertainty. Out of those, pr...

In this paper, we construct a truth conditional semantics for generic sentences, which treats arbitrarily deep nestings of generic sentences. The resulting notion of logical entailment captures intuitively valid argument forms involving generics. A dynamic semantics is built on top of the truth conditional one, and the resulting inference notion captures nonmonotonic argument patterns familiar ...

This paper proposes a method of integrating two different concepts of belief in artificial intelligence: belief as a probability distribution and belief as a logical formula. The setting for the integration is a highly expressive logic. The integration is explained in detail, as its comparison to other approaches to integrating logic and probability. An illustrative example is given to motivate...