AIML Research Papers - Academia.edu

Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility relations of the kind studied in many-dimensional modal... more

Employees are the vital component of any business. The success or failure of the company will be determined by the performance of its personnel. Thus, in order to increase worker productivity, we realized how important it was to finance... more

Bookmark
Download
- by Ganesh Kumar R
- •
- 2
  Human Resource Management, Training

In the recent times, major changes have taken place in the agriculture field. The emergence of new technologies has improved farming more than ever before. As a result, farmers have started to produce varieties of crops more efficiently.... more

Bookmark
Download
- by Sandeep Bhardwaj
- •
- 3
  Artificial Intelligence, Horticulture, Floriculture

Background/Purpose: The agriculture sector is the backbone of every nation which contributes to the global economy. The implementation of technology in agriculture has brought revolutionary development in its outcome. Due to this, a... more

Background/Purpose: The agriculture sector is the backbone of every nation which contributes to the global economy. The implementation of technology in agriculture has brought revolutionary development in its outcome. Due to this, a drastic improvement in the global economy from the agricultural sector is expected. Moreover, the implementation of artificial intelligence (AI) improves the productivity of farmers giving solutions to various challenges faced by the farmers. The various AI tools that are developed for the agriculture sector include precision farming, predictive analytics, automated machinery, smart irrigation systems, crop and soil monitoring, supply chain optimization, weather forecasting, and livestock management. Adopting AI in agriculture faces several challenges despite its longterm benefits. The high upfront costs to be invested in implementing AI technology make it difficult for small-scale and developing farmers to invest in AI. Implementing the above technology needs technical skills, fast internet connectivity, and costlier equipment. Due to the lack of the above-mentioned requirements, the AI technologies that are meant for agriculture do not reach the farmers. This results in the wastage of resources for AI without the outcome. Considering the above issues an appropriate simplified model is proposed that facilitates the adaptation of the AI technology by small and medium-scale farmers in their agriculture to improve the performance. Objective: The objective of this paper is to review the various journals related to the implementation of AI in Agriculture and to study the various issues related to its implementation. It also aims at identifying the research gap which will help to develop a model suitable for the end like small-scale and medium-scale farmers. Design/Methodology/Approach: A systematic literature review was conducted by gathering and examining relevant literature from international and national journals, conferences, databases, and other resources accessed via Google Scholar and various search engines. Findings/Result: The agriculture sector, crucial to every nation's economy, has seen revolutionary advancements through technology, especially AI. AI tools like precision farming, predictive analytics, and smart irrigation promise to enhance productivity and address various agricultural challenges. However, high implementation costs, resistance to new technologies, and lack of necessary infrastructure hinder widespread adoption among small-scale and developing farmers. To overcome these obstacles, a model is proposed to effectively support farmers in adopting AI technologies to boost agricultural performance. Originality/Value: The implementation of AI and ML tools in agriculture from diverse sources is done. This area needs study due to recent challenges faced by small and mediumscale farmers in the implementation of AI and ML tools in agriculture. The information acquired will help to create a new model by improving the outcomes of the existing scenario. Paper Type: Literature Review.

Bookmark
Download
- by Srinivas Publication and +1
  Anusha Rai
- •
- 2
  Smart Farming, AGRICULTURAL SECTOR

This is calculus in the sense of a method of calculating; it has little to do with the infinitesimal calculus, which is the subject now called just calculus. What this book refers to as propositional logic can also be called propositional... more

Bookmark
Download
- by Prasant Acharya
- •
- 3
  Agriculture, AIML, Crop Yield Prediction

The rapid evolution and widespread use of network-based technologies have ushered in a corresponding surge in cyber-attacks, necessitating more advanced security measures to safeguard against these threats. In response, this study... more

The rapid evolution and widespread use of network-based technologies have ushered in a corresponding
surge in cyber-attacks, necessitating more advanced security measures to safeguard against these threats.
In response, this study presents a novel approach to network intrusion detection systems (NIDS) by
integrating sophisticated deep learning algorithms. The primary aim is to detect and identify diverse
types of attacks that infiltrate specific network segments, thereby enhancing the overall security of the
network. The research methodology embarks by initializing sensor nodes within a Wireless Sensor
Network (WSN), followed by a unique selection of Cluster Heads (CHs) through an innovative
optimization algorithm. This strategic approach optimizes the network's security measures and ensures
robust attack detection capabilities. The identified CHs serve as central points, facilitating the clustering
of nodes using an advanced clustering algorithm. Each CH houses an Intrusion Detection System (IDS),
which is trained using a publicly available NIDS dataset. Initially, the dataset undergoes common
preprocessing steps, with subsequent extraction and validation of pertinent features. Following this, the
features' dimensionality is reduced and fed into a novel deep learning-based modified classification
algorithm. In real-time operations, when sensor nodes capture data, the network analyzer balances the
network traffic and transmits it to the respective CHs. The IDS within the CHs then categorizes the
detected attacks based on the similarity of validated features. The proposed approach emphasizes a
dynamic response to real-time threats within the network, optimizing the identification and classification
of potential attacks. The study concludes with experimental analyses to demonstrate the effectiveness
of the developed approach. The assessment is based on various evaluation metrics, showcasing the
system's performance and efficiency in detecting, categorizing, and responding to network intrusions.
The effectiveness of the proposed model, leveraging advanced technologies such as deep learning,
Cluster Heads, Wireless Sensor Networks, and Intrusion Detection Systems, will be a significant
contribution to the evolving landscape of network security.

The core of the Indian economy and the factor that most affects the nation's socioeconomic progress is agriculture. India's agriculture industry is broad and diverse, with many different players involved. India boasts one of the world's... more

Bookmark
Download
- by Shrinidhi N
- •
- 5
  Machine Learning, Agriculture, AIML, Agritech

Agriculture produces food, which is a basic need for mankind and also plays a vital role in global economy. Agriculture is regarded as the primary source of employment in the majority of the nations. A number of factors, including... more

Bookmark
Download
- by Shrinidhi N
- •
- 2
  AIML, Crop Yield Prediction

It is well-known that every quantified modal logic complete with respect to a firstorder definable class of Kripke frames is recursively enumerable. Numerous examples are also known of "natural" quantified modal logics complete with... more

Bookmark
Download
- by Михаил Рыбаков
- •
- 4
  Modal Logic, Computer Science, Formal Logic, AIML

Bookmark
Download
- by Михаил Рыбаков
- •
- 4
  Modal Logic, Computer Science, Modal, AIML

It is well-known that every quantified modal logic complete with respect to a firstorder definable class of Kripke frames is recursively enumerable. Numerous examples are also known of “natural” quantified modal logics complete with... more

Bookmark
Download
- by Михаил Рыбаков
- •
- 4
  Modal Logic, Computer Science, Formal Logic, AIML

this paper is to nd out the minimal number of variables one needs to prove PSPACE-hardness of the decision problem for standard modal logics. Since this problem (even in the full in nite language) is in PSPACE, we thereby shall get... more

Bookmark
Download
- by Михаил Рыбаков
- •
- 4
  Modal Logic, Computer Science, Modal, AIML

We investigate interpolation and Beth definability in default logics. To this end, we start by defining a general framework which is sufficiently abstract to encompass most of the usual definitions of a default logic. In this framework a... more

Bookmark
Download
- by CARLOS EDUARDO ARECES
- •
- 2
  Mathematics, Computer Science

Hybrid languages are modal languages that have special symbols for naming individual states in models. Their history can be traced back to work of Arthur Prior in the fifties. The subject has recently regained interest, resulting in many... more

Bookmark
Download
- by CARLOS EDUARDO ARECES
- •
- 4
  Model Theory, Computer Science, Proof Theory, Hybrid Logic

No way to say warm in French. There was only hot and tepid. If there's no word for it, how do you think about it? [.. . ] Imagine, in Spanish having to assign a gender to every object: dog, table, tree, can-opener. Imagine, in Hungarian,... more

No way to say warm in French. There was only hot and tepid. If there's no word for it, how do you think about it? [.. . ] Imagine, in Spanish having to assign a gender to every object: dog, table, tree, can-opener. Imagine, in Hungarian, not being able to assign a gender to anything: he, she, it all the same word. Thou art my friend, but you are my king; thus the distinctions of Elizabeth the First's English. But with some oriental languages, which all but dispense with gender and number, you are my friend, you are my parent, and YOU are my priest, and YOU are my king, and You are my servant, and You are my servant whom I'm going to fire tomorrow if You don't watch it, and YOU are my king whose policies I totally disagree with and have sawdust in YOUR head instead of brains, YOUR highness, and YOU may be my friend, but I'm still gonna smack YOU up side the head if YOU ever say that to me again: and who the hell are you anyway.. . ? Babel-17 Samuel R. Delany M, w |= p iff w ∈ V (p) M, w |= ¬ϕ iff M, w |= ϕ M, w |= ϕ ∧ ψ iff M, w |= ϕ & M, w |= ψ M, w |= 3ϕ iff ∃u(wRu & M, u |= ϕ). If ϕ is evaluated at a point w in a model M , we say that w is the "point of evaluation" or the "current point." If M, w |= ϕ, we say ϕ is satisfied at M in w. If (W, R, V), w |= ϕ satisfies ϕ for any choice of V or w, we say ϕ is valid on the frame (W, R). Nominals and Satisfaction Operators As the satisfaction definition just given makes clear, while 3 is an elegant tool for quantifying over R-accessible points, the basic modal language offers us no tools for naming or reasoning about the points in W. Let's put this right by defining the basic hybrid language. Let NOM be a set distinct from PROP. The elements of NOM are called nominals and are typically written i, j, k, and so on. We build formulas over NOM and PROP as follows: WFF := i | p | ¬ϕ | ϕ ∧ ψ | 3ϕ | @ i ϕ. Nominals are the principal hybrid mechanism for referring to points, thus they play the role played by terms in classical logic. But note: nominals are formulas, not terms. Further, note that nominals can occur as subscripts to the @ symbol. Such a combination-for example, @ i-is called a satisfaction operator. The interpretation of this language is straightforward. The key step is to redefine what we mean by a valuation. We say that a (hybrid) valuation is a function V with domain NOM ∪ PROP and range 2 W such that for all i ∈ NOM, V (i) is a singleton set. That is, whereas ordinary propositional variables can be true at any number of points in a model, nominals are true at precisely one point in any model. They 'name' this point by being true there and nowhere else. We often call the unique point in V (i) the denotation of i. With that in place, add now the following two clauses to the satisfaction definition: M, w |= i iff w is the denotation of i. M, w |= @ i ϕ iff M, u |= ϕ, where u is the denotation of i.

Bookmark
Download
- by Kit Fine
- •
- 5
  Modal Logic, Computer Science, Philosophy, Pure Mathematics

Traditionally, Epistemic Logic represents epistemic scenarios using a single model. This, however, covers only complete descriptions that specify truth values of all assertions. Indeed, many-and perhaps most-epistemic descriptions are not... more

Bookmark
Download
- by Sergei Artemov
- •
- 2
  Computer Science, Epistemology

Justification Logic is an emerging field that studies provability, knowledge, and belief via explicit proofs or justifications that are part of the language. There exist many justification logics closely related to modal epistemic logics... more

Justification Logic is an emerging field that studies provability, knowledge, and belief via explicit proofs or justifications that are part of the language. There exist many justification logics closely related to modal epistemic logics of knowledge and belief. Instead of modality in pure justification logics, or in addition to modality in hybrid logics, which has an existential epistemic reading 'there exists a proof of F ,' all justification logics use constructs t : F , where a justification term t represents a blueprint of a Hilbert-style proof of F. The first justification logic, LP, introduced by Sergei Artemov, was shown to be a justification counterpart of modal logic S4 and serves as a missing link between S4 and Peano arithmetic, thereby solving a long-standing problem of provability semantics for S4 and Int. The machinery of explicit justifications can be used to analyze well-known v epistemic paradoxes, e.g. Gettier's examples of justified true belief that can hardly be considered knowledge, and to find new approaches to the concept of common knowledge. Yet another possible application is the Logical Omniscience Problem, which reflects an undesirable property of knowledge as described by modality when an agent knows all the logical consequences of his/her knowledge. The language of justification logic opens new ways to tackle this problem. This thesis focuses on quantitative analysis of justification logics. We explore their decidability and complexity of Validity Problem for them. A closer analysis of the realization phenomenon in general and of one procedure in particular enables us to deduce interesting corollaries about selfreferentiality for several modal logics. A framework for proving decidability of various justification logics is developed by generalizing the Finite Model Property. Limitations of the method are demonstrated through an example of an undecidable justification logic. We study reflected fragments of justification logics and provide them with an axiomatization and a decision procedure whose complexity (the upper bound) turns out to be uniform for all justification logics, both pure and hybrid. For many justification logics, we also present lower and upper complexity bounds. viii me to restrict the use of binary logic to math only; Stas and Noemi, who have taught me how to be a New Yorker; my little niece, who is an eternal source of joy and happiness for everybody around her. And of course I could not have made it this far without Galina, who has made my life sound and complete and dramatically increased my personal complexity by means of duality, at the same time simplifying all decision procedures.

Bookmark
Download
- by Sergei Artemov
- •
- 3
  Mathematics, Epistemology, Decidability

In this article we present a modal logic that extends the basic modal logic ML with two dynamic operators: copy (cp), which replicates the current model, labelling each copy with a different propositional symbol and respecting... more

Bookmark
Download
- by CARLOS EDUARDO ARECES
- •
- 6
  Cognitive Science, Modal Logic, Computer Science, Expressivity

Improving on work by Schild, De Giacomo and Lenzerini, we establish a tight connection between description logics and hybrid logics, and use this to transfer results on complexity and expressive power from one to the other.

Bookmark
Download
- by CARLOS EDUARDO ARECES
- •
- 4
  Modal Logic, Computer Science, Hybrid Logic, AIML

We provide a detailed analysis of very weak fragments of modal logic. Our fragments lack connectives that introduce nondeterminism and they feature restrictions on the modal operators, which may lead to substantial reductions in... more

Bookmark
Download
- by CARLOS EDUARDO ARECES
- •
- 7
  History, Mathematics, Modal Logic, Computer Science

Es usual que el aprendizaje de las nuevas tecnologias por parte de usuarios inexpertos presente desafios debido a factores humanos y ergonometricos; es por ello que actual mente existe una tendencia a facili tar la interaccion de los... more

Bookmark
Download
- by Yoselie Alvarado
- •
- 6
  Humanities, Art, Virtual Reality, User interfaces

Resumen En la actualidad, la popularizacion y expansion de las tecnoloǵias de la comunicacion y la informacion han alterado las formas tradicionales de comunicacion de las personas convirtiendo a las tecnoloǵias en canales casi obligados... more

Bookmark
Download
- by Yoselie Alvarado
- •
- 7
  Humanities, Art, Semantics, Semántica

Resumo. Com o crescimento do número e da heterogeneidade dos equipamentos presentes nas atuais redes de computadores, o gerenciamento eficaz destes recursos torna-se crítico. O que se verifica, porém, é que nem sempre profissionais... more

Bookmark
Download
- by Leandro Bertholdo
- •
- Redes de Computadores

We propose extending Alternating-time Temporal Logic (ATL) by an operator i ⊑ Γ ϕ to express that i can distribute its powers to a set of sub-agents Γ in a way which satisfies ATL condition ϕ on the strategic ability of the coalitions... more

Bookmark
Download
- by Dimitar Guelev
- •
- 6
  Business, Mathematics, Computer Science, Sr

We propose an extension to epistemic ATL with perfect recall, past, and distributed knowledge by strategy contexts and demonstrate the strong completeness of a Hilbert-style proof system for its (.U.)-free subset.

Bookmark
Download
- by Dimitar Guelev
- •
- 4
  Psychology, Computer Science, Logic, Recall

In the contemporary fashion landscape, sunglasses have evolved beyond mere eye protection to become a symbol of style and individuality. This paper introduces a Sunglass Recommendation System that leverages facial recognition technology... more

A stable & beneficial industrial process system, enriched with customizable features and quality always required a flexible business model. Keeping the safety aspect in mind and considering the default behavior of the process in... more

• Environmental pollution due to flue gases and toxic waste generated by the industries can cause environmental hazards and causes severe health problems to humans and animals. Since the last few decade suspended particulate matters (SPM)... more

This work is a first approximation to the creation of faces for machines, resulting in amodule that can provide mainly to machines that interact with people, a face capable of simulating the movements of the mouth when speaking and... more

Bookmark
Download
- by Alfonso Guijarro
- •
- 8
  Robotics, Psychology, Gesture, Surprise

We prove that negative hyper-resolution is a sound and complete procedure for answering queries in disjunctive logic programs. In our formulation, answers of queries are defined using disjunctive substitutions, which are more flexible... more

http://www.gsi.dit.upm.es Resumen. Este artículo presenta la plataforma TutorGSI que facilita el uso de agentes conversacionales en entornos de eLearning como Moodle. La plataforma ha sido desarrollada dentro del proyecto eduWAI (eduWAI,... more

Bookmark
Download
- by Mercedes Garijo
- •
- 6
  Computer Science, MOODLE, Educación, Informática

A Estação Hidrometeorológica da Fatec Jahu (Jaú-SP) coleta dados meteorológicos que são disponibilizados através de seu website e ficam acessíveis à população. Os dados meteorológicos são utilizados em áreas como a agricultura e... more

Bookmark
Download
- by Patrick Pedreira
- •
- 5
  Geography, Physics, Humanities, Techno

By exploiting the algebraic and order theoretic mechanisms behind Sahlqvist correspondence, the theory of unified correspondence provides powerful tools for correspondence and canonicity across different semantics and signatures, covering... more

Bookmark
Download
- by Alessandra Palmigiano
- •
- 5
  Mathematics, Algebraic Number Theory, Computer Science, Inverse

The present paper establishes systematic connections among the first-order correspondents of Sahlqvist modal reduction principles in various relational semantic settings which include crisp and many-valued Kripke frames, and crisp and... more

Bookmark
Download
- by Alessandra Palmigiano
- •
- 5
  Computer Science, Modal, Kripke semantics, Relational Theory

We prove an algebraic canonicity theorem for normal LE-logics of arbitrary signature, in a generalized setting in which the non-lattice connectives are interpreted as operations mapping tuples of elements of the given lattice to closed or... more

We prove the canonicity of inductive inequalities in a constructive meta-theory, for classes of logics algebraically captured by varieties of normal and regular lattice expansions. This result encompasses Ghilardi-Meloni's and... more

Bookmark
Download
- by Alessandra Palmigiano
- •
- 10
  Mathematics, Modal Logic, Computer Science, Lattice Theory

The theory of canonical extensions typically considers extensions of maps A ! B to maps A ! B. In the present paper, the theory of canonical extensions of maps A ! B to maps A ! B is developed, and is applied to obtain a new canonicity... more

In this paper, we define a multi-type calculus for inquisitive logic, which is sound, complete and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is the logic of inquisitive semantics, a semantic framework... more

Bookmark
Download
- by Giuseppe Greco
- •
- 5
  Mathematics, Intuitionistic Logic, Computer Science, Sequent Calculus

Los agentes de conversación y los sistemas de diálogo (interfaces de control de voz, chatbots, asistentes personales) están ganando impulso como técnicas de interacción humano-computadora en la sociedad digital. Al platicar con Mitsuku... more

Bookmark
Download
- by Ana Lidia Franzoni
- •
- 2
  Philosophy, Humanities

Los agentes de conversación y los sistemas de diálogo (interfaces de control de voz, chatbots, asistentes personales) están ganando impulso como técnicas de interacción humano-computadora en la sociedad digital. Al platicar con Mitsuku... more

Bookmark
Download
- by Ana Lidia Franzoni
- •
- 2
  Philosophy, Humanities

Quantified CTL (QCTL) extends the temporal logic CTL with quantifications over atomic propositions. This extension is known to be very expressive: QCTL allows us to express complex properties over Kripke structures (it is as expressive as... more

Along with the development of information and communication technology systems in the era of free digitalization, people are asking for comfort and convenience by supporting their activities. One of them is easy to find artificial... more

Travel Domain runs massively based on customer reviews. The weightage that customer reviews carry is immense. One can always find positive and negative reviews about a particular hotel online. Reviews are ubiquitous in the form of text... more

Bookmark
Download
- by Shruti Pandit
- •
- 6
  Algorithms, Artificial Intelligence, Machine Learning, Neural Networks

Until the 1970s, proof theoretic investigations were mainly concerned with theories of inductive definitions, subsystems of analysis and finite type systems. With the pioneering work of Gerhard Jager in the late 1970 s and early 1980s,... more

Bookmark
Download
- by Jacob Cook
- •
- 3
  Mathematics, Axiom, Hierarchy

Bookmark
Download
- by John Burgess
- •
- 7
  Mathematics, Intuitionistic Logic, Computer Science, Philosophy

AIML

Log In